$\forall$$w$:World. FairFifo $\Rightarrow$ ($\forall$$e$:E. loc($e$) $\sim$ loc($e$))